_require "236_link2.smi"
val y : (int * int) * (int * int)
